Odd Khovanov's arc algebra

An Algebra of Timed-Arc Petri Nets

In this paper we present and investigate two algebras, one based on term re-writing and the other on Petri nets, aimed at the specification and analysis of concurrent systems with timing information. The former is based on process expressions (at-expressions) and employs a set of SOS rules providing their operational semantics. The latter is based on a class of Petri nets with time restrictions...

Finite-Dimensional Linear Algebra Solutions to selected odd-numbered exercises

An Algebra of Petri Nets with Arc-Based Time Restrictions

v

A construction of an infinite family of 2-arc transitive polygonal graphs of arbitrary odd girth

A near-polygonal graph is a graph Γ which has a set C of m-cycles for some positive integer m such that each 2-path of Γ is contained in exactly one cycle in C. If m is the girth of Γ , then the graph is called polygonal. We provide a construction of an infinite family of polygonal graphs of arbitrary even girth with 2-arc transitive automorphism groups, showing that there are infinitely many 2...

Arc-regular cubic graphs of order four times an odd integer

A graph is arc-regular if its automorphism group acts sharply-transitively on the set of its ordered edges. This paper answers an open question about the existence of arc-regular 3-valent graphs of order 4m where m is an odd integer. Using the Gorenstein–Walter theorem, it is shown that any such graph must be a normal cover of a base graph, where the base graph has an arc-regular group of autom...